cos(π/2 – t) – sin(π + t) = √2.